منابع مشابه
Non-Commutative First-Order Sequent Calculus
This paper investigates a non-commutative first-order sequent calculus NCLK. For that, this paper extends a non-commutative positive fragment to a full first-order sequent calculus LK− having antecedent-grouping and no right exchange rule. This paper shows (1) NCLK is equivalent to LJ, (2) NCLK with the exchange rule is equivalent to LK, (3) LK− is equivalent to LJ, and (4) translations between...
متن کاملSome remarks on non-integer differential and integral calculus
Differential and integral calculus belongs to basic courses of mathematics and everybody understands geometrical and physical meaning of derivative or integral. But, hardly anybody can imagine for example derivative of order 1/2 or even of non-rational order. The branch of mathematics which generalizes calculus to non-integer case is known under the term “fractional calculs” although this name ...
متن کاملAn efficient extension of the Chebyshev cardinal functions for differential equations with coordinate derivatives of non-integer order
In this study, an effective numerical method for solving fractional differential equations using Chebyshev cardinal functions is presented. The fractional derivative is described in the Caputo sense. An operational matrix of fractional order integration is derived and is utilized to reduce the fractional differential equations to system of algebraic equations. In addition, illustrative examples...
متن کاملRealization of a Non Integer Order PID Controller
In this paper a new PID controller is presented. Its peculiarity consists in the non integer order of the derivative and integral, being this order variable in the range [0,1], and providing two further parameters to the controller. The key element is a Multi-layer Perceptron that evaluate a non integer order integration. The neural network approach allows to overcome some problems related to p...
متن کاملExpansions in Non-integer Bases: Lower, Middle and Top Order
Let q ∈ (1, 2); it is known that each x ∈ [0, 1/(q− 1)] has an expansion of the form x = ∑ ∞ n=1 anq −n with an ∈ {0, 1}. It was shown in [3] that if q < ( √ 5 + 1)/2, then each x ∈ (0, 1/(q − 1)) has a continuum of such expansions; however, if q > ( √ 5 + 1)/2, then there exist infinitely many x having a unique expansion [4]. In the present paper we begin the study of parameters q for which th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physics & astronomy international journal
سال: 2023
ISSN: ['2576-4543']
DOI: https://doi.org/10.15406/paij.2023.07.00304